<html>
<head><meta charset="utf-8"><title>GeneratorWitness · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/GeneratorWitness.html">GeneratorWitness</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="200598224"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/GeneratorWitness/near/200598224" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Hill <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/GeneratorWitness.html#200598224">(Jun 11 2020 at 20:02)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span>:  Do we want to mirror the <code>Generator/GeneratorWitness</code> split from rustc in chalk?<br>
Or would it make more sense to have chalk's <code>GeneratorWitness</code> contain both normal upvars and existentially bound interior types?</p>



<a name="200607561"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/GeneratorWitness/near/200607561" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/GeneratorWitness.html#200607561">(Jun 11 2020 at 21:17)</a>:</h4>
<p><span class="user-mention" data-user-id="125294">@Aaron Hill</span> yeah I think we want to mirror them</p>



<a name="200609847"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/GeneratorWitness/near/200609847" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Hill <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/GeneratorWitness.html#200609847">(Jun 11 2020 at 21:35)</a>:</h4>
<p><span class="user-mention" data-user-id="232957">@Jack Huey</span> were you working on closure types? I don't want to duplicate your work on closure upvars, since we can likely re-use the same logic for generator upvars</p>



<a name="200609948"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/GeneratorWitness/near/200609948" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/GeneratorWitness.html#200609948">(Jun 11 2020 at 21:36)</a>:</h4>
<p>Yeah, let me open a draft PR</p>



<a name="200609988"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/GeneratorWitness/near/200609988" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/GeneratorWitness.html#200609988">(Jun 11 2020 at 21:36)</a>:</h4>
<p>(it's a bit outdated since I haven't rebased since the Fn pr)</p>



<a name="200610099"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/GeneratorWitness/near/200610099" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/GeneratorWitness.html#200610099">(Jun 11 2020 at 21:38)</a>:</h4>
<p><a href="https://github.com/rust-lang/chalk/pull/519">https://github.com/rust-lang/chalk/pull/519</a></p>



<a name="209029666"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/GeneratorWitness/near/209029666" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/GeneratorWitness.html#209029666">(Sep 03 2020 at 21:07)</a>:</h4>
<p><span class="user-mention" data-user-id="125294">@Aaron Hill</span> what's the status of your PR?</p>



<a name="209029998"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/GeneratorWitness/near/209029998" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Hill <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/GeneratorWitness.html#209029998">(Sep 03 2020 at 21:10)</a>:</h4>
<p>I got distracted with some other things - I can get it ready to merge</p>



<a name="209030459"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/GeneratorWitness/near/209030459" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/GeneratorWitness.html#209030459">(Sep 03 2020 at 21:14)</a>:</h4>
<p>That would be awesome :)</p>



<a name="209030480"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/GeneratorWitness/near/209030480" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/GeneratorWitness.html#209030480">(Sep 03 2020 at 21:15)</a>:</h4>
<p>Between that and the extern type work, we're gonna be done with the builtin types</p>



<a name="236505865"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/GeneratorWitness/near/236505865" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/GeneratorWitness.html#236505865">(Apr 28 2021 at 13:25)</a>:</h4>
<p>I guess <span class="user-mention" data-user-id="232957">@Jack Huey</span> we can use this topic</p>



<a name="236505895"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/GeneratorWitness/near/236505895" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/GeneratorWitness.html#236505895">(Apr 28 2021 at 13:25)</a>:</h4>
<p>oh</p>



<a name="236505902"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/GeneratorWitness/near/236505902" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/GeneratorWitness.html#236505902">(Apr 28 2021 at 13:25)</a>:</h4>
<p>this is a different topic, nm</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>